LudwigAbap

cs.LO

Subcategories

Papers

paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO

paper Aditya Paliwal · 2019 Graph Representations for Higher-Order Logic and Theorem Proving cs.AI cs.LG cs.LO stat.ML
paper Huajian Xin · 2024 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search cs.AI cs.CL cs.LG cs.LO
paper Peiyang Song · 2025 Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean cs.AI cs.LG cs.LO stat.ML

paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Aditya Paliwal · 2019 Graph Representations for Higher-Order Logic and Theorem Proving cs.AI cs.LG cs.LO stat.ML
paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Huajian Xin · 2024 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search cs.AI cs.CL cs.LG cs.LO
paper Peiyang Song · 2025 Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean cs.AI cs.LG cs.LO stat.ML
paper Thomas Zhu · 2025 Premise Selection for a Lean Hammer cs.AI cs.LG cs.LO
paper Kaiyu Yang · 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models cs.AI cs.LG cs.LO stat.ML

paper Cunxi Yu · 2025 Autonomous Code Evolution Meets NP-Completeness cs.AI cs.LG cs.LO