Swarat Chaudhuri
- Advancing Mathematics Research with AI-Driven Formal Proof Search
2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
#cs.AI
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
2025/06/16 by Alexander Novikov, Nhat Vu, Ngân Vũ +38 · 2 voices · 185 citations
Decision Sciences · #Scientific Computing and Data Management
- Formal Mathematical Reasoning: A New Frontier in AI
2024/12/20 by Kaiyu Yang, Gabriel Poesia, Yang, Kaiyu +11 · 2 voices · 24 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
2024/07/15 by George Tsoukalas, Jasper Lee, Tsoukalas, George +14 · 2 voices · 41 citations
Computer Science · Physics and Astronomy · #Model Reduction and Neural Networks #Neural Networks and Applications #cs.AI #cs.CL #cs.LG #cs.LO #cs.PL
- Programmatically Interpretable Reinforcement Learning
2018/04/06 by Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh +2 · 1 voice · 5 citations
#cs.LG #cs.AI #cs.PL #stat.ML
- Neurosymbolic Programming for Science
2022/10/10 by Jennifer J. Sun, Megan Tjandrasuwita, Sun, Jennifer J. +11 · 2 voices · 1 citation
Computer Science · Neuroscience · #Reinforcement Learning in Robotics #Neural dynamics and brain function #Evolutionary Algorithms and Applications
- An In-Context Learning Agent for Formal Theorem-Proving
2023/10/06 by Amitayush Thakur, Thakur, Amitayush, Yeming Wen +5 · 16 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies #Topic Modeling
- CSLib: The Lean Computer Science Library
2026/02/04 by Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi +5 · 5 voices
#cs.LO #cs.PL
- HOUDINI: Lifelong Learning as Program Synthesis
2018/03/31 by Lazar Valkov, Dipak Chaudhari, Valkov, Lazar +7 · 6 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Data Classification #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
2016/11/22 by Yu Feng, Ruben Martins, Feng, Yu +7 · 4 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Mining Algorithms and Applications #Data Quality and Management #FOS: Computer and information sciences #I.2.2 #Programming Languages (cs.PL)
- Symbolic Quantum Simulation with Quasimodo
2023/02/08 by Meghana Sistla, Swarat Chaudhuri, Sistla, Meghana +3 · 5 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Physical sciences #Formal Languages and Automata Theory (cs.FL) #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Symbolic Computation (cs.SC)
- Batched Low-Rank Adaptation of Foundation Models
2023/12/09 by Yeming Wen, Wen, Yeming, Swarat Chaudhuri +1 · 6 citations
Computer Science · Engineering · #Speech and Audio Processing #Speech Recognition and Synthesis #Indoor and Outdoor Localization Technologies
- Neurosymbolic Reinforcement Learning with Formally Verified Exploration
2020/09/26 by Greg Anderson, Abhinav Verma, Anderson, Greg +5 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robot Manipulation and Learning
- Safe Neurosymbolic Learning with Differentiable Symbolic Execution
2022/03/15 by Chenxi Yang, Swarat Chaudhuri, Yang, Chenxi +1 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Reinforcement Learning in Robotics #Software Reliability and Analysis Research
- CLEVER: A Curated Benchmark for Formally Verified Code Generation
2025/05/20 by Amitayush Thakur, Thakur, Amitayush, Jasper Lee +14 · 10 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) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
2024/05/24 by Abhinav Jain, Swarat Chaudhuri, Jain, Abhinav +5 · 4 citations
Decision Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Simulation Techniques and Applications
- Natural Language Deduction with Incomplete Information
2022/11/01 by Zayne Sprague, Sprague, Zayne, Kaj Bostrom +5 · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- Weighted Context-Free-Language Ordered Binary Decision Diagrams
2023/05/23 by Meghana Sistla, Swarat Chaudhuri, Sistla, Meghana +3 · 2 citations
Computer Science · Engineering · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Formal Languages and Automata Theory (cs.FL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Radiation Effects in Electronics
- Representing Formal Languages: A Comparison Between Finite Automata and\n Recurrent Neural Networks
2019/02/26 by Joshua Michalenko, Ameesh Shah, Michalenko, Joshua J. +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #Neural Networks and Applications
- Grounding Data Science Code Generation with Input-Output Specifications
2024/02/12 by Yeming Wen, Pengcheng Yin, Wen, Yeming +9 · 2 citations
Computer Science · #Model-Driven Software Engineering Techniques
- Policy Optimization with Linear Temporal Logic Constraints
2022/06/20 by Cameron Voloshin, Hoang M. Le, Voloshin, Cameron +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Error Correcting Code Techniques #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
- ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
2025/02/07 by Amitayush Thakur, George Tsoukalas, Thakur, Amitayush +5 · 1 voice · 1 citation
#cs.AI #cs.LG #cs.LO #cs.PL
- Finding Likely Errors with Bayesian Specifications
2017/03/04 by Vijayaraghavan Murali, Murali, Vijayaraghavan, Swarat Chaudhuri +3 · 1 citation
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques