📢 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
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
🔲Cellular Automata
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
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·10h
🕸️Graph Theory
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·10h
↔️Bisimilarity
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·10h
🔢Matrix Decomposition
Flag this post
Weak-To-Strong Generalization
lesswrong.com·3d
🔤Kleene Algebra
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·10h
🔍CBMC
Flag this post
Loading...Loading more...