World-Class Research.Real-World Impact.
We're not academic for the sake of it. Our software, its algorithms and processes, are all at the forefront of global knowledge, reinforced by real-world behavior and analysis.
Put simply: you cannot innovate at the leading edge
without a team who can think beyond the leading edge.
Filter by leading journals and conferences:
2026
Ensembled Bayesian tabular data generator: Y. Zhang et al.
Knowledge and Information Systems 68 (1), 36, 2026
Improving Symbolic Translation of Language Models for Logical Reasoning
arXiv e-prints, arXiv: 2601.09446, 2026
2025
MSTL: A seasonal-trend decomposition algorithm for time series with multiple seasonal patterns
International Journal of Operational Research 52 (1), 79-98, 2025
Time series adversarial attacks: an investigation of smooth perturbations and defense approaches
International Journal of Data Science and Analytics 19 (1), 129-139, 2025
Neusis: A compositional neuro-symbolic framework for autonomous perception, reasoning, and planning in complex uav search missions
IEEE Robotics and Automation Letters, 2025
Local and global trend Bayesian exponential smoothing models
International Journal of Forecasting 41 (1), 111-127, 2025
Online guidance graph optimization for lifelong multi-agent path finding
Proceedings of the AAAI Conference on Artificial Intelligence 39 (14), 14726 …, 2025
Naver: A neuro-symbolic compositional automaton for visual grounding with explicit logic reasoning
arXiv preprint arXiv:2502.00372, 2025
Llm reading tea leaves: Automatically evaluating topic models with large language models
Transactions of the Association for Computational Linguistics 13, 357-375, 2025
Predict+ Optimize Problem in Renewable Energy Scheduling.
IEEE Access, 2025
Hier-slam++: Neuro-symbolic semantic slam with a hierarchically categorical gaussian splatting
arXiv preprint arXiv:2502.14931, 2025
MoTime: A Dataset Suite for Multimodal Time Series Forecasting
arXiv preprint arXiv:2505.15072, 2025
On forecast stability
International Journal of Forecasting, 2025
Unveiling the potential of text in high-dimensional time series forecasting
arXiv preprint arXiv:2501.07048, 2025
Scalable probabilistic forecasting in retail with gradient boosted trees: A practitioner’s approach
VerifiAgent: a Unified Verification Agent in Language Model Reasoning
arXiv preprint arXiv:2504.00406, 2025
DeepHGNN: Study of graph neural network based forecasting methods for hierarchically related multivariate time series
Expert Systems with Applications, 127658, 2025
HOPE: A Memory-Based and Composition-Aware Framework for Zero-Shot Learning with Hopfield Network and Soft Mixture of Experts
2025 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV …, 2025
Human-in-the-Loop AI for HVAC Management Enhancing Comfort and Energy Efficiency
Proceedings of the 16th ACM International Conference on Future and …, 2025
Most general explanations of tree ensembles
Proceedings of the Thirty-Fourth International Joint Conference on …, 2025
Assessing the alignment of fol closeness metrics with human judgement
arXiv e-prints, arXiv: 2501.08613, 2025
Balancing forecast accuracy and switching costs in online optimization of energy management systems
Expert Systems with Applications, 129305, 2025
Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery
arXiv preprint arXiv:2508.05890, 2025
Predict and optimize: a smart inventory management model for beauty retail: Z. Namazian et al.
Optimization Letters, 1-21, 2025
Most General Explanations of Tree Ensembles (Extended Version)
arXiv preprint arXiv:2505.10991, 2025
Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities
Proceedings of the AAAI Conference on Artificial Intelligence 39 (22), 23387 …, 2025
Acoustic-to-hyper-spectral: real-time perimeter intrusion detection system monitoring through learnable filters and hyper-spectral image generation from distributed acoustic …
Optimal Multi-Agent Pickup and Delivery Using Branch-and-Cut-and-Price Algorithms
Transportation Science 59 (1), 104-124, 2025
Context-driven cold-start Web traffic forecasting
World Wide Web 28 (6), 1-24, 2025
Extending Load Forecasting from Zonal Aggregates to Individual Nodes for Transmission System Operators
arXiv preprint arXiv:2510.14983, 2025
Fast Gibbs sampling for the local-seasonal-global trend Bayesian exponential smoothing model
Statistics and Computing 35 (3), 77, 2025
GeckoGraph: A visual language for polymorphic types
Journal of Computer Languages, 101381, 2025
Dynamic Replanning for Improved Public Transport Routing
arXiv preprint arXiv:2505.14193, 2025
Low-Level Search on Time Intervals in Branch-and-Cut-and-Price for Multi-Agent Path Finding
PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structures
Proceedings of the National Academy of Sciences 122 (1), e2416301121, 2025
Transition dominance in domain-independent dynamic programming
31st International Conference on Principles and Practice of Constraint …, 2025
Huub: Lazy Clause Generation Solver
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2025
Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective
International Conference on the Integration of Constraint Programming …, 2025
Towards Modern and Modular SAT for LCG (Short Paper)
31st International Conference on Principles and Practice of Constraint …, 2025
System and method for price optimization using graph-based machine learning
US Patent App. 18/824,730, 2025
Mixed-Integer and Constraint Programming Models for the Two-Dimensional Guillotine Cutting Problem
European Journal of Operational Research, 2025
To whom did my vote go?
arXiv preprint arXiv:2509.13370, 2025
Sub-Microsecond Grid Path Planning, at What Cost?
Proceedings of the International Symposium on Combinatorial Search 18, 38-46, 2025
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections
International Conference on Financial Cryptography and Data Security, 226-240, 2025
Doing More With Less: Mismatch-Based Risk-Limiting Audits
International Conference on Financial Cryptography and Data Security, 241-255, 2025
Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums through Simulated Annealing (Student Abstract)
Proceedings of the AAAI Conference on Artificial Intelligence 39 (28), 29466 …, 2025
Democracy Developers A Guide to Risk Limiting Audits with RAIRE Part 2: Generating Assertions with RAIRE
Democracy Developers A Guide to Risk Limiting Audits with RAIRE Part 1: Auditing IRV Elections with RAIRE
Efficient Lower Bounding of Single Transferable Vote Election Margins
arXiv preprint arXiv:2501.14847, 2025
Three-or-More Seat Risk-Limiting Audits for Single Transferable Vote Elections
Monash Econometrics and Business Statistics Working Papers, 2025
Collaborate with World-Class Researchers
Our research forms the foundation of RabbitHawk's forecasting and optimization capabilities. Interested in collaborating or learning more about our research?