Swarat Chaudhuri
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6Evaluating Agentic Optimization on Large Codebases
arXiv 2026
CLEVER: A Curated Benchmark for Formally Verified Code Generation
arXiv 2025
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
arXiv 2024
Online Cascade Learning for Efficient Inference over Streams
arXiv 2024
A Probabilistic Framework for Modular Continual Learning
arXiv 2023
Unsupervised Learning of Neurosymbolic Encoders
unsupervised-learning-of-neurosymbolic-1
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers