📐 Lean - Handler4605 · Scour

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches 🧮SMT Solvers

arxiv.org·5d

Go to the actual place and see the actual thing ⚖️Ethics of Technology

betterthangood.xyz·1d

Inscriptions 🗝️Semiotics

flathub.org·8h

Lean Solutions Group Brings Its Proven, AI-driven and Expert-led Operations Model to Transform the Automotive Sector 📊Columnar Execution

einpresswire.com·1d

Why Lean? ⚙️JIT Compilation

leodemoura.github.io·4d·Lobsters, Hacker News

Sheryl Sandberg’s Lean In is fighting the gender gap in AI adoption ⚖️Ethics of Technology

fastcompany.com·2d

We're excited to announce that AXLE is switching from Lean to Rocq 🏗️Cranelift

axle.axiommath.ai·5d·Hacker News

Domain-Driven Design: Lean Aggregates 🔐MVCC

deniskyashif.com·4d·Hacker News, r/programming

20 lines of markdown replaced my code review bot 🦀Rust

github.com

·3d·DEV

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🐓Coq

arxiv.org·21h

I thought I needed a GPU for local LLMs until I tried this lean model 🖼️WebGPU

xda-developers.com·3d

A causality-guided and interpretable sweep–lean optimization framework of axial fan blades for aerodynamic enhancement ⚙️JIT Compilation

sciencedirect.com·5d

The Monster Is Already Out of the Box 🗺️Procedural Generation

medium.com

·3d

Automated Conjecture Resolution with Formal Verification 🧮SMT Solvers

arxiv.org·1d

The same colored grass 🔣Category Theory

buttondown.com·4d

Bulking I 🏗️Cranelift

olivergilan.com·4d

"You stay to the left and then you lean to the right..." 🏳lgbt

althouse.blogspot.com·3d

Making Written Theorems Explorable by Grounding Them in Formal Representations 🧮SMT Solvers

arxiv.org·2d

LLM Reasoning as Trajectories: Step-Specific Representation Geometry and Correctness Signals 🧮Constraint Solvers

arxiv.org·21h

Textualize/textual v8.2.3 🦀Rust

github.com

·3d

Loading more...