Chitchat with AI: Understand the supply chain carbon disclosure of companies worldwide through Large Language Model
arxiv.org·19h
🧠Automated Reasoning
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·19h
🔍CBMC
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·19h
🧠Automated Reasoning
Flag this post
A Dual Large Language Models Architecture with Herald Guided Prompts for Parallel Fine Grained Traffic Signal Control
arxiv.org·19h
🔄Finite State Machines
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·19h
🤖Robotics
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·19h
🎯Hindley-Milner
Flag this post
Equilibrium Policy Generalization: A Reinforcement Learning Framework for Cross-Graph Zero-Shot Generalization in Pursuit-Evasion Games
arxiv.org·19h
🎮Verification Games
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·19h
🧩Parser Combinators
Flag this post
When to Trust the Answer: Question-Aligned Semantic Nearest Neighbor Entropy for Safer Surgical VQA
arxiv.org·19h
⏱️Computational Complexity
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·19h
💎Refinement Types
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·19h
🔢Algebraic Data Types
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·2h
🐫Embedded OCaml
Flag this post
Loading...Loading more...