Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving
RegimeNAS: Regime-Aware Differentiable Architecture Search With Theoretical Guarantees for Financial Trading
arxiv.org·10h
Mitigating Modality Quantity and Quality Imbalance in Multimodal Online Federated Learning
arxiv.org·10h
The User-first Approach to AI Ethics: Preferences for Ethical Principles in AI Systems across Cultures and Contexts
arxiv.org·10h
ToxiFrench: Benchmarking and Enhancing Language Models via CoT Fine-Tuning for French Toxicity Detection
arxiv.org·10h
Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
arxiv.org·10h
Generative AI for Cybersecurity of Energy Management Systems: Methods, Challenges, and Future Directions
arxiv.org·3d
RealAC: A Domain-Agnostic Framework for Realistic and Actionable Counterfactual Explanations
arxiv.org·3d
Loading...Loading more...