Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
Anzeige
Ähnliche Artikel
arXiv – cs.AI
•
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
AI News (TechForge)
•
Durchbruch im adversarialen Lernen ermöglicht Echtzeit‑AI‑Sicherheit
arXiv – cs.LG
•
BlockCert: Zertifizierte Blockweise Extraktion von Transformer-Mechanismen
arXiv – cs.AI
•
NEZHA: Schnellere Generative Empfehlungen ohne Qualitätsverlust
arXiv – cs.LG
•
Leichtgewichtiges Modell für Denken: Dynamisches Pruning & Distillation
MarkTechPost
•
NVIDIA stellt Nemotron-Elastic-12B vor: 6B/9B/12B Varianten ohne Zusatzkosten