#

formal-reasoning

Here are 2 public repositories matching this topic...

Peiyang-Song / Awesome-LLM-Reasoning-Failures

Repo for "Large Language Model Reasoning Failures"

failure-analysis logical-reasoning physical-reasoning llm llm-reasoning formal-reasoning cognitive-reasoning embodied-reasoning informal-reasoning

Updated May 20, 2026

madiabio / automated-first-order-logic-prover

An automated theorem prover for a subset of first order logic written in Rust

portfolio atp formal-logic automated-theorem-proving formal-reasoning

Updated May 14, 2026
Rust

Improve this page

Add a description, image, and links to the formal-reasoning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the formal-reasoning topic, visit your repo's landing page and select "manage topics."