Alternatives and similar repositories for neural-verification

Users that are interested in neural-verification are comparing it to the libraries listed below

• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆298Updated 8 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆82Updated last month
• openai / lean-gym
  ☆193Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆206Updated 4 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• yangky11 / miniF2F-lean4
  ☆66Updated last month
• timaeus-research / devinterp
  Tools for studying developmental interpretability in neural networks.
  ☆109Updated 3 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆166Updated last week
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆16Updated last week
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆187Updated last week
• genlm / llamppl
  Probabilistic programming with large language models
  ☆140Updated 2 months ago
• TransformerLensOrg / CircuitsVis
  Mechanistic Interpretability Visualizations using React
  ☆291Updated 10 months ago
• ArthurConmy / Automatic-Circuit-Discovery
  ☆244Updated last year
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆110Updated 6 months ago
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆145Updated last year
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆180Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆36Updated 3 months ago
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆228Updated 2 months ago
• xu3kev / BARC
  Bootstrapping ARC
  ☆142Updated 10 months ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆78Updated last year
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆394Updated 2 years ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆92Updated 9 months ago
• EleutherAI / delphi
  Delphi was the home of a temple to Phoebus Apollo, which famously had the inscription, 'Know Thyself.' This library lets language models …
  ☆216Updated last week
• Goedel-LM / Goedel-Prover
  ☆209Updated 6 months ago
• mechanistic-interpretability-grokking / progress-measures-paper
  ☆69Updated 3 years ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆648Updated this week
• jacobdunefsky / transcoder_circuits
  ☆175Updated 11 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆708Updated last month
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆98Updated 2 weeks ago