Handbook of Satisfiability (2021)
🧮Mathematics
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
🏋️Isaac Gym
Flag this post
CAD-3D on the Atari ST
🔧Hardware
Flag this post
Best Open Source Observability Solutions
📡Sensor Networks
Flag this post
Sguaba – hard-to-misuse rigid body transforms without worrying about algebra
🧮Mathematics
Flag this post
Our newest model: Chandra (OCR)
👁️Computer vision
Flag this post
How to improve LLM's creativity and randomness?
🤖llm
Flag this post
Aerial additive manufacturing: drones to construct remote infrastructure
🖨️Additive Manufacturing
Flag this post
Your Transformer is Secretly an EOT Solver
📱Edge AI
Flag this post
Loading...Loading more...