🤖 Automated Reasoning - jhcha.oyo · Scour

Abduction Prover in Isabelle/HOL

∀Mathematical Logic Academic

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

lix.polytechnique.fr·

Neon NTT - (Auto)formalised

eprint.iacr.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

💻Programming Languages Blog

soteria-tools.com··Hacker News

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

∀Mathematical Logic Code

Property-based testing | Liam DeVoe

λFunctional Programming

tybug.dev··Hacker News

Introducing Jo — Secure Programming for the AI Era

💻Programming Languages Blog

jo-lang.org··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

∀Mathematical Logic Academic

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

⚡Speculative Decoding Academic

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

➗math Academic

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

➗math Academic

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

➗math Academic

Formal verification of the S-two AIR

🔐Cryptography Academic

Exploring the landscape of compact magic-state distillation factories

⚛️Quantum Computing Academic

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

➗math Academic

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

♾️Set Theory Academic

No more posts from jhcha.oyo's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling