Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·4h
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
arxiv.org·1d
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
Using Local LLMs to Discover High-Performance Algorithms
towardsdatascience.com·2d
Colloquium : Qudits for decomposing multiqubit gates and realizing quantum algorithms
link.aps.org·1d
Conversation: LLMs and the what/how loop
martinfowler.com·19h
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com·3d
Qdrant - Vector Database
qdrant.tech·1d
Loading...Loading more...