Wenda Li
- DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
2024/05/23 by Huajian Xin, Xin, Huajian, Daya Guo +16 · 2 voices · 63 citations
Decision Sciences · #Scientific Computing and Data Management
- Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
2022/10/21 by Albert Q. Jiang, Jiang, Albert Q., Sean Welleck +16 · 1 voice · 50 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering Research #cs.AI #cs.LG
- Formal Mathematical Reasoning: A New Frontier in AI
2024/12/20 by Kaiyu Yang, Gabriel Poesia, Yang, Kaiyu +11 · 2 voices · 27 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- Autoformalization with Large Language Models
2022/05/25 by Yuhuai Wu, Albert Q. Jiang, Wu, Yuhuai +11 · 44 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Engineering Research
- Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
2024/03/26 by Jin Zhou, Charles Staats, Zhou, Jin Peng +9 · 22 citations
Social Sciences · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Law #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Multilingual Mathematical Autoformalization
2023/11/07 by Albert Q. Jiang, Wenda Li, Jiang, Albert Q. +3 · 10 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Text Readability and Simplification
- Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving
2023/05/25 by Xueliang Zhao, Wenda Li, Zhao, Xueliang +3 · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Topic Modeling
- Evaluating Language Models for Mathematics through Interactions
2023/06/02 by Katherine M. Collins, Albert Q. Jiang, Collins, Katherine M. +25 · 6 citations
Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Topic Modeling
- LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
2021/01/15 by Yuhuai Wu, Markus N. Rabe, Wu, Yuhuai +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications #Topic Modeling
- Theorem Prover as a Judge for Synthetic Data Generation
2025/02/18 by Joshua Ong Jun Leang, Giwon Hong, Leang, Joshua Ong Jun +5 · 6 citations
Computer Science · #Semantic Web and Ontologies #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- Exploiting WiFi Channel State Information for Residential Healthcare Informatics
2017/12/09 by Bo Tan, Qingchao Chen, Tan, Bo +9 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Indoor and Outdoor Localization Technologies #Millimeter-Wave Propagation and Modeling #Signal Processing (eess.SP) #Wireless Networks and Protocols #electronic engineering #information engineering
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026/07/17 by Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4
#cs.SE #cs.AI #cs.LG #cs.PL