📢 New Series: Neuro-Symbolic Wednesday
📐Linear Algebra
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Automating error analysis for AI agents – what works and doesn't
👁️System Observability
Flag this post
Wavelet-Based Feature Extraction and Unsupervised Clustering for Parity Detection: A Feature Engineering Perspective
arxiv.org·1d
🔢Algebraic Data Types
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Automated Exoplanet Atmospheric Biosignature Discrimination via Spectral Decomposition & Machine Learning
👁️Observability
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
🧠Automated Reasoning
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
🧠Automated Reasoning
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·2d
🕸️Graph Theory
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·1d
🔍Formal Verification
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·15h
🔍CBMC
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
Loading...Loading more...