Research
A paper is listed when one of its authors is affiliated with the lab. Data: OpenAlex.
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech CohomologyMicrosoft · arXiv (Cornell University)Mar 27Shuffles of Context-Free Languages along Regular TrajectoriesAlphabet · arXiv (Cornell University)Mar 27AgenticRS-Architecture: System Design for Agentic Recommender SystemsAlibaba · arXiv (Cornell University)Mar 27Rethinking Recommendation Paradigms: From Pipelines to Agentic Recommender SystemsAlibaba · arXiv (Cornell University)Mar 27HypeMed: Enhancing Medication Recommendations with Hypergraph-Based Patient RelationshipsMicrosoft · ACM Transactions on Information SystemsMar 27ResSeMo: deep convolutional neural network integration for high-accuracy waste classification and efficient processingAlphabet · Scientific Reports2 citationsMar 26Protecting Healthcare Networks from Cyber Threats: How to Use AI and Blockchain to Enable Safe Patient Data ExchangeAlphabet · International Conference on Data Science, Agents & Artificial Intelligence (ICDSAAI)Mar 26AI-Enabled Trustworthiness in Edge Zero Trust ArchitecturesMicrosoft · IEEE International Conference on AI Engineering and Innovations (AIEI)Mar 26Autonomous Performance Diagnosis Using LLMBased Agents in Cloud-Scale SystemsMicrosoft · IEEE International Conference on AI Engineering and Innovations (AIEI)Mar 26Knowledge-Guided Adversarial Training for Infrared Object Detection via Thermal Radiation ModelingAlibaba · arXiv (Cornell University)Mar 26Design Once, Deploy at Scale: Template-Driven ML Development for Large Model EcosystemsMeta · arXiv (Cornell University)Mar 26Photon: Speedup Volume Understanding with Efficient Multimodal Large Language ModelsAlibaba · arXiv (Cornell University)Mar 26SoK: methods for sampling random permutations in post-quantum cryptographyTechnology Innovation Institute · International Journal of Computer Mathematics Computer Systems TheoryMar 26Towards end-to-end automation of AI researchSakana AI · Nature116 citationsMar 25GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field AlgebraNVIDIA · arXiv (Cornell University)Mar 25Phased outcome-complete simulationMicrosoft · arXiv (Cornell University)Mar 25Clifford synthesis via generalized S and CZ gatesMicrosoft · arXiv (Cornell University)Mar 25AutoCSF: Provably Space-Efficient Indexing of Skewed Key-Value Workloads via Filter-Augmented Compressed Static FunctionsAlphabet · arXiv (Cornell University)Mar 25ReLope: From Hidden-State Probing to a Decision Module for Multimodal LLM RoutingAlphabet · arXiv (Cornell University)Mar 25Uniform Laws of Large Numbers in Product SpacesAlphabet · arXiv (Cornell University)Mar 25GenMask: Adapting DiT for Segmentation via Direct Mask GenerationAlibaba · arXiv (Cornell University)Mar 25Semantic-Aware Interruption Detection in Spoken Dialogue Systems: Benchmark, Metric, and ModelAlibaba · arXiv (Cornell University)Mar 25The Price Reversal Phenomenon: When Cheaper Reasoning Models Cost MoreMicrosoft · arXiv (Cornell University)Mar 25Why Does Self-Distillation (Sometimes) Degrade the Reasoning Capability of LLMs?Microsoft · arXiv (Cornell University)Mar 25MARCH: Multi-Agent Reinforced Self-Check for LLM HallucinationAlibaba · arXiv (Cornell University)Mar 25