Contact DMCA Privacy

Robuta

https://harmonic.fun/
Harmonic - AI for Formal Mathematical Reasoning
mathematical reasoningharmonicaiformal
https://www-formal.stanford.edu/
Formal Reasoning Group
formal reasoninggroup
https://aimojo.io/deepseek-prover-v2/
DeepSeek-Prover-V2 bridges informal and formal maths reasoning
May 26, 2025 - DeepSeek-Prover-V2 sets a new benchmark in AI maths. This open-source LLM bridges human intuition and formal proof, achieving an 88.9% MiniF2F-test pass rate.
deepseekproverbridgesinformalmaths
https://frida-2025.github.io/
The 12th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2025
The 12th Workshop on Formal Reasoning in Distributed Algorithms colocated with DISC 2025 in Berlin, Germany
formal reasoningdistributed algorithmsworkshopfrida
https://aclanthology.org/2025.acl-demo.2/
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement - ACL...
Xin Quan, Marco Valentino, Danilo Carvalho, Dhairya Dalal, Andre Freitas. Proceedings of the 63rd Annual Meeting of the Association for Computational...
formal reasoningpeircematerialviallm
https://ceur-ws.org/Vol-2445/
CEUR-WS.org/Vol-2445 - KI 2019 Workshop on Formal and Cognitive Reasoning (DKB-KIK 2019)
wsorgvolkiworkshop
https://en.wikibooks.org/wiki/Effective_Reasoning/Informal_and_Formal_Reasoning
Effective Reasoning/Informal and Formal Reasoning - Wikibooks, open books for an open world
open bookseffectivereasoninginformalwikibooks