![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
Logic Encoding: Creating Embeddings For Logical And Arithmetic Functions (Richard Aragon) View |
![]() |
Bitwise Operators and WHY we use them (Alex Hyett) View |
![]() |
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic (ACM SIGPLAN) View |
![]() |
Lie Algebra Representations Arising from Ramsey Theory (Columbia University Department of Mathematics) View |
![]() |
Formal Foundations for Translational Separation Logic Verifiers Dardinier, Sammler 15min (Academia Accelerated) View |
![]() |
Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach (Xiaol.x) View |
![]() |
Low-Dimensional Hyperbolic Knowledge Graph Embeddings (ACL 2020) (HazyResearch) View |
![]() |
Meta's Reasoning AI Model... Reasons Without Using Words (bycloud) View |
![]() |
The Expressive Power of Transformers with Chain of Thought (Xiaol.x) View |
![]() |
Training Large Language Models to Reason in a Continuous Latent Space (Xiaol.x) View |