Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท3d
๐ง Automated Reasoning
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
ฮปFunctional Programming
Flag this post
AWK technical notes (2023)
๐Brzozowski Derivatives
Flag this post
Low-Level Hacks
๐ซEmbedded OCaml
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
๐คProgram Synthesis
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.orgยท5h
โ๏ธCompiler Design
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.orgยท5h
๐ฆOPAM
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.orgยท5h
๐Automata Learning
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท5h
๐Linear Algebra
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.orgยท5h
๐CBMC
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.orgยท5h
๐งฉParser Combinators
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท5h
๐ฒCellular Automata
Flag this post
Writing an LLM from scratch, part 26 โ evaluating the fine-tuned model
๐Automata Learning
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.orgยท5h
โ๏ธCompiler Design
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.orgยท5h
๐ก๏ธseL4
Flag this post
Advancing Cognitive Science with LLMs
arxiv.orgยท5h
๐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ยท5h
๐ฎVerification Games
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.orgยท5h
โExistential Types
Flag this post
Loading...Loading more...