Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
📝NLP
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
📝NLP
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
💬Philosophy of Language
An introduction to program synthesis
mchav.github.io·8h·
Discuss: r/programming
🎨Computational Creativity
Four Theories of Meta
pxlnv.com·3h
🧮Information theory
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·15h
🎲Bayesian Cognition
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·20h·
Discuss: Hacker News
🤖AI
Forging Data Symphonies: The Art of the ETL Pipeline in Rails
github.com·9h·
Discuss: DEV
🔍Content discovery
Compass-v3: Scaling Domain-Specific LLMs for Multilingual E-Commerce in Southeast Asia
arxiv.org·3h
📝NLP
Gauss, an Agent for Autoformalization
math.inc·12h·
Discuss: Hacker News
🤖AI
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🤖AI
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·17h
🎲Bayesian Cognition
Automated Semantic Anomaly Detection in Hybrid Quantum-Classical Codebases via Formal Verification & Statistical Profiling
dev.to·2h·
Discuss: DEV
📝NLP
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·15h·
Discuss: Hacker News
💬Philosophy of Language
CRT-structured Collatz blocks
researchgate.net·2h·
Discuss: r/mathematics
📡Information Theory
Evaluating Large Language Models: What, Why, and How for Chatbots
pub.towardsai.net·7h
📝NLP
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·1d
📝NLP
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
📝NLP
neeed help for amazon interview for ML engineer
amazon.jobs·4h·
Discuss: r/compsci
📝NLP
Rust unit testing: asynchronous code
jorgeortiz.dev·1h·
Discuss: r/rust
🤖AI