Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
🎯Interactive Provers
Flag this post
Cycle Basis Algorithms for Reducing Maximum Edge Participation
arxiv.org·11h
⚛️Quantum LDPC
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
🧮Kolmogorov Complexity
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🌊Stream Ciphers
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·40m
🔀Category Theory
Flag this post
A treap week
🎨Graph Coloring
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
✓Automated Theorem Proving
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·11h
👑Isabelle
Flag this post
ELI5 explanation of the CAP Theorem
⚛️Information Physics
Flag this post
Accelerating Controllable Generation via Hybrid-grained Cache
arxiv.org·11h
💨Cache Optimization
Flag this post
Unlocking the Unsolvable: Parallel Search Algorithms Conquer Complexity by Arvind Sundararajan
⚡Parallel Computing
Flag this post
Picking a Representative Set of Solutions in Multiobjective Optimization: Axioms, Algorithms, and Experiments
arxiv.org·11h
🧮Kolmogorov Bounds
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·3d
⚖️Verification Calculi
Flag this post
The Complete AI Agent Decision Framework
machinelearningmastery.com·5h
⚡Proof Automation
Flag this post
How to Benchmark Python Code?
🎯Emulation Accuracy
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.com·4h
📈Spectral Graph Theory
Flag this post
Loading...Loading more...