all AI news
Topic: cs.lo
Safe Reach Set Computation via Neural Barrier Certificates
1 day, 20 hours ago |
arxiv.org
Set-Based Training for Neural Network Verification
1 week, 2 days ago |
arxiv.org
Deep Learning with Parametric Lenses
4 weeks, 1 day ago |
arxiv.org
The Expressive Power of Transformers with Chain of Thought
1 month, 1 week ago |
arxiv.org
Magnushammer: A Transformer-Based Approach to Premise Selection
1 month, 1 week ago |
arxiv.org
Meta Operator for Complex Query Answering on Knowledge Graphs
1 month, 1 week ago |
arxiv.org
Are Targeted Messages More Effective?
1 month, 2 weeks ago |
arxiv.org
Learning Guided Automated Reasoning: A Brief Survey
1 month, 3 weeks ago |
arxiv.org
Graph neural network outputs are almost surely asymptotically constant
1 month, 3 weeks ago |
arxiv.org
Provably Safe Neural Network Controllers via Differential Dynamic Logic
2 months, 1 week ago |
arxiv.org
Theoretical foundations for programmatic reinforcement learning
2 months, 1 week ago |
arxiv.org
Exploiting T-norms for Deep Learning in Autonomous Driving
2 months, 1 week ago |
arxiv.org
Dual Box Embeddings for the Description Logic EL++
2 months, 1 week ago |
arxiv.org
Inference of Abstraction for a Unified Account of Reasoning and Learning
2 months, 2 weeks ago |
arxiv.org
Items published with this topic over the last 90 days.
Latest
Safe Reach Set Computation via Neural Barrier Certificates
1 day, 20 hours ago |
arxiv.org
Set-Based Training for Neural Network Verification
1 week, 2 days ago |
arxiv.org
Deep Learning with Parametric Lenses
4 weeks, 1 day ago |
arxiv.org
The Expressive Power of Transformers with Chain of Thought
1 month, 1 week ago |
arxiv.org
Magnushammer: A Transformer-Based Approach to Premise Selection
1 month, 1 week ago |
arxiv.org
Meta Operator for Complex Query Answering on Knowledge Graphs
1 month, 1 week ago |
arxiv.org
Are Targeted Messages More Effective?
1 month, 2 weeks ago |
arxiv.org
Learning Guided Automated Reasoning: A Brief Survey
1 month, 3 weeks ago |
arxiv.org
Graph neural network outputs are almost surely asymptotically constant
1 month, 3 weeks ago |
arxiv.org
Provably Safe Neural Network Controllers via Differential Dynamic Logic
2 months, 1 week ago |
arxiv.org
Theoretical foundations for programmatic reinforcement learning
2 months, 1 week ago |
arxiv.org
Exploiting T-norms for Deep Learning in Autonomous Driving
2 months, 1 week ago |
arxiv.org
Dual Box Embeddings for the Description Logic EL++
2 months, 1 week ago |
arxiv.org
Inference of Abstraction for a Unified Account of Reasoning and Learning
2 months, 2 weeks ago |
arxiv.org
Topic trend (last 90 days)
Top (last 7 days)
Jobs in AI, ML, Big Data
Data Architect
@ University of Texas at Austin | Austin, TX
Data ETL Engineer
@ University of Texas at Austin | Austin, TX
Lead GNSS Data Scientist
@ Lurra Systems | Melbourne
Senior Machine Learning Engineer (MLOps)
@ Promaton | Remote, Europe
Data Scientist
@ Publicis Groupe | New York City, United States
Bigdata Cloud Developer - Spark - Assistant Manager
@ State Street | Hyderabad, India