GenLimitLib: A Formal Library for Language Generation in the Limit and AI-Assisted Mathematical Research
cs.LG, cs.LO
Submitted: 2026-09-29
Updated: 2026-09-29
Code: https://github.com/pengzhang91/generation-in-the-limit-lib
Project page: https://shilun-allan-li.github.io/tcslib
Sources
- Aristotle: IMO-level Automated Theorem Proving
- CSLib: The Lean Computer Science Library
- EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research
- Dense Language Generation Made Simple: Deterministic, Randomized, and Multi-Order Algorithms
- A Theory of Time-Sensitive Language Generation: Sparse Hallucination Beats Mode Collapse
- LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
- EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research
- Automated Conjecture Resolution with Formal Verification
- Language Generation in the Limit
- Validity, Sparse Holes, and Breadth in Language Generation: Banach Density, Topology, and Geometry
- On Language Generation in the Limit with Bounded Memory
- Mistake-Bounded Language Generation
- Contrastive Identification and Generation in the Limit
- Advancing Mathematics Research with AI-Driven Formal Proof Search
- MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
- AI co-mathematician: Accelerating mathematicians with agentic AI
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks