Kinds of Knowledge Worth Remembering
domofutu.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml
Teaching Resources for Embedding Ethics in Mathematics: Exercises, Projects, and Handouts
arxiv.org·3d
🏹Effect Systems
On the Complexity of Problems on Graphs Defined on Groups
arxiv.org·3d
🔠Type-Level Programming
A simple layered-wheel-like construction
arxiv.org·3d
🔠Type-Level Programming
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1d
🎮Verification Games
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·1d
🔍Formal Verification
NTSFormer: A Self-Teaching Graph Transformer for Multimodal Cold-Start Node Classification
arxiv.org·4d
🍎XNU Internals
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·1d
💻CS
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
✓Automated Theorem Proving
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·2d
🐫OCaml
When Context Is Not Enough: Modeling Unexplained Variability in Car-Following Behavior
arxiv.org·2d
✓Automated Theorem Proving
Approximating invariant functions with the sorting trick is theoretically justified
arxiv.org·3d
🏹Effect Systems
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
🐫OCaml
Humans overrely on overconfident language models, across languages
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·1d
🐫OCaml
From ID-based to ID-free: Rethinking ID Effectiveness in Multimodal Collaborative Filtering Recommendation
arxiv.org·3d
🔠Type-Level Programming
Hierarchy or Heterarchy? A Theory of Long-Range Connections for the Sensorimotor Brain
arxiv.org·3d
🏹Effect Systems
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·3d
🔄Finite State Machines