Reasoning Models - Connect Session

ResearchTrend.AI Reasoning Models Connect Session: Multilingual Logic & Formal Semantics!

We are wrapping up the year with a deep dive into the brain of AI! Join us for a special holiday-eve edition of the Reasoning Models (ReLM) Connect Session on ResearchTrend.AI.

This session 💻 brings together two groundbreaking works focusing on how models reason across different languages and how they handle the rigorous logic of programming semantics.

Agenda (UTC) - Wednesday, December 24th

16:00 - 16:30: David Anugraha
📄 Paper: mR3: Multilingual Rubric-Agnostic Reward Reasoning Models

16:30 - 17:00: Yifeng He
📄 Paper: Evaluating Program Semantics Reasoning with Type Inference in System F

🌟 Spend your Christmas Eve morning (or afternoon!) with the frontier of AI reasoning. Whether you are interested in multilingual alignment or the formal verification of code, these talks offer a masterclass in modern LLM logic.

🗓️ Time: 4:00 PM - 5:00 PM UTC
📍 Location: Virtual
👉 Register for this event here: https://lnkd.in/gPhGuTrX

Don't miss our final session of 2025!
📆 Find out more about upcoming events: https://lnkd.in/g7-iczUp