Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.usยท4hยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”CBMC
Flag this post
Low-Level Hacks
blog.raycursive.comยท12hยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท9h
๐Ÿ”ฒCellular Automata
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.comยท3hยท
๐Ÿ’พRetro Computing
Flag this post
Writing an LLM from scratch, part 26 โ€“ evaluating the fine-tuned model
gilesthomas.comยท19hยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท9h
๐Ÿ›ก๏ธseL4
Flag this post
Advancing Cognitive Science with LLMs
arxiv.orgยท9h
๐Ÿ”Fixed-Point Theory
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.orgยท9h
๐ŸŽฎVerification Games
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.orgยท9h
โ“Existential Types
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.orgยท9h
๐ŸŽฏHindley-Milner
Flag this post
Branched Signature Model
arxiv.orgยท9h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท9h
๐ŸงฉParser Combinators
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.orgยท9h
๐ŸŽฎVerification Games
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.orgยท9h
๐Ÿ“šAutomata Learning
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.orgยท9h
โœ“Automated Theorem Proving
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท9h
๐ŸŽฏHindley-Milner
Flag this post