OptiMind: A small language model with optimization expertise
OptiMind is a small language model that converts business operation challenges, described naturally, into mathematical formulations that optimization software can solve. It reduces formulation time & errors & enables fast, privacy-preserving local use.
Cambridge Residency Programme – Researcher in Agentic AI Systems & Infrastructure
The Future AI infrastructure (FAI) team is seeking a Postdoctoral Researcher to pursue foundational research on agentic AI systems. The research emphasis will be on multiagent system designs for scalable agentic workloads with ML and…
AI Research as a Continuous Clinical Service
Research Intern – Security, Privacy and AI
This Research Internship will include (1) conducting threat modeling for Large Language Model (LLM)‑enabled agentic designs and identifying practical mitigations for Windows OS; (2) developing or refining formal security frameworks that support scalable designs and…
Research Intern – Foundations of GenAI
The mission of the AI Frontiers Lab is to expand the pareto frontier of AI capabilities, efficiency, and safety through innovations in foundation models and learning agent platforms. We are seeking a Research Intern to join…
KDD ’25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
https://ai-reasoning.github.io/ AI models are increasingly capable of solving sophisticated tasks that require reasoning. But how do we improve the quality of that reasoning, especially when the models operate as black boxes? In this talk, Sumit…