📐 Lean - Handler4605 · Scour

GAC Philippines charges forward with new energy lineup at Auto Focus Summer Test Drive Festival 2026 📐TLA+

hybridcars.einnews.com·3d

Toyota Is Taking The Fight To BMW And Tesla, But Not With Cars ⚖️Ethics of Technology

carbuzz.com·4d

2022 Toyota RAV4 Reliability Report: Owner Hits 120,000 Miles With Zero Mechanical Failures Using Regular Service Intervals 📝Database WAL

torquenews.com·4d

Geely Wants To Be Like Toyota, But From China 🦆Bevy

carscoops.com·3d

2026 Toyota LandCruiser Hybrid prices: New ‘performance hybrid’ variants are the priciest, most powerful LandCruisers ever 🗜️Compaction Strategies

hybridcars.einnews.com·3d

Elon Musk (@elonmusk) 🎯Embedding Models

twitter.macworks.dev·4d

Transcriptomics-guided discovery of Interleukin-6 modulators from Bacillus subtilis metabolites in type 2 diabetes mellitus 📇Vector Indexing

frontiersin.org·3d

5 Toyota Models That Came Out On Top In JD Power's 2026 Dependability Study 📝Database WAL

slashgear.com·4d

Syntax and Semantics of Linear Dependent Types 🔗Linear Types

Personally, I'm inclined to drive over fly if I can get there in 8-12 hours or l... 🔗WCOJ

news.ycombinator.com·3d·Hacker News

Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors 🧮SMT Solvers

New comment by Genego in "Ask HN: Who wants to be hired? (May 2026)" 🎮gamedev

news.ycombinator.com·6d·Hacker News

A Categorical Semantics for Linear Logical Frameworks 🔗Linear Types

UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning 🧮SMT Solvers

Rose-SQL: Role-State Evolution Guided Structured Reasoning for Multi-Turn Text-to-SQL 🧮Constraint Solvers

Contextual Multi-Objective Optimization: Rethinking Objectives in Frontier AI Systems 📊Conformal Prediction

SigLoMa: Learning Open-World Quadrupedal Loco-Manipulation from Ego-Centric Vision 🗺️Procedural Generation

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code 🔐MVCC

Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game 🧮SMT Solvers

Type Theory With Erasure λType Theory

Sign up or log in to see more results

Log in to enable infinite scrolling