all AI news
Topic: cs.lo
Age Aware Scheduling for Differentially-Private Federated Learning
1 day, 19 hours ago |
arxiv.org
Boolean Variation and Boolean Logic BackPropagation
3 days, 19 hours ago |
arxiv.org
What Formal Languages Can Transformers Express? A Survey
3 days, 19 hours ago |
arxiv.org
Safe Reach Set Computation via Neural Barrier Certificates
1 week, 4 days ago |
arxiv.org
Set-Based Training for Neural Network Verification
2 weeks, 5 days ago |
arxiv.org
Deep Learning with Parametric Lenses
1 month, 1 week ago |
arxiv.org
Learning Concepts Definable in First-Order Logic with Counting
1 month, 2 weeks ago |
arxiv.org
An incremental MaxSAT-based model to learn balanced rules
1 month, 2 weeks ago |
arxiv.org
The Expressive Power of Transformers with Chain of Thought
1 month, 2 weeks ago |
arxiv.org
Magnushammer: A Transformer-Based Approach to Premise Selection
1 month, 3 weeks ago |
arxiv.org
Meta Operator for Complex Query Answering on Knowledge Graphs
1 month, 3 weeks ago |
arxiv.org
Are Targeted Messages More Effective?
1 month, 4 weeks ago |
arxiv.org
PiShield: A NeSy Framework for Learning with Requirements
2 months, 1 week ago |
arxiv.org
Provably Safe Neural Network Controllers via Differential Dynamic Logic
2 months, 3 weeks ago |
arxiv.org
Theoretical foundations for programmatic reinforcement learning
2 months, 3 weeks ago |
arxiv.org
Exploiting T-norms for Deep Learning in Autonomous Driving
2 months, 3 weeks ago |
arxiv.org
Dual Box Embeddings for the Description Logic EL++
2 months, 3 weeks ago |
arxiv.org
Items published with this topic over the last 90 days.
Latest
Age Aware Scheduling for Differentially-Private Federated Learning
1 day, 19 hours ago |
arxiv.org
Boolean Variation and Boolean Logic BackPropagation
3 days, 19 hours ago |
arxiv.org
What Formal Languages Can Transformers Express? A Survey
3 days, 19 hours ago |
arxiv.org
Safe Reach Set Computation via Neural Barrier Certificates
1 week, 4 days ago |
arxiv.org
Set-Based Training for Neural Network Verification
2 weeks, 5 days ago |
arxiv.org
Deep Learning with Parametric Lenses
1 month, 1 week ago |
arxiv.org
Learning Concepts Definable in First-Order Logic with Counting
1 month, 2 weeks ago |
arxiv.org
An incremental MaxSAT-based model to learn balanced rules
1 month, 2 weeks ago |
arxiv.org
The Expressive Power of Transformers with Chain of Thought
1 month, 2 weeks ago |
arxiv.org
Magnushammer: A Transformer-Based Approach to Premise Selection
1 month, 3 weeks ago |
arxiv.org
Meta Operator for Complex Query Answering on Knowledge Graphs
1 month, 3 weeks ago |
arxiv.org
Are Targeted Messages More Effective?
1 month, 4 weeks ago |
arxiv.org
PiShield: A NeSy Framework for Learning with Requirements
2 months, 1 week ago |
arxiv.org
Provably Safe Neural Network Controllers via Differential Dynamic Logic
2 months, 3 weeks ago |
arxiv.org
Theoretical foundations for programmatic reinforcement learning
2 months, 3 weeks ago |
arxiv.org
Exploiting T-norms for Deep Learning in Autonomous Driving
2 months, 3 weeks ago |
arxiv.org
Dual Box Embeddings for the Description Logic EL++
2 months, 3 weeks ago |
arxiv.org
Topic trend (last 90 days)
Top (last 7 days)
Jobs in AI, ML, Big Data
Data Engineer
@ Lemon.io | Remote: Europe, LATAM, Canada, UK, Asia, Oceania
Artificial Intelligence – Bioinformatic Expert
@ University of Texas Medical Branch | Galveston, TX
Lead Developer (AI)
@ Cere Network | San Francisco, US
Research Engineer
@ Allora Labs | Remote
Ecosystem Manager
@ Allora Labs | Remote
Founding AI Engineer, Agents
@ Occam AI | New York