3

VerifyGen-X: Secure Cross-Chain Smart Contract Generation via Scalable Reinforcement Learning from Formal Verification Feedback featured image
Blockchain

VerifyGen-X: Secure Cross-Chain Smart Contract Generation via Scalable Reinforcement Learning from Formal Verification Feedback

Rabimba Karanjai
•
Read more
Unlocking On-Chain Intelligence: A Practical Framework for GenAI-Powered Smart Contracts featured image
Blockchain

Unlocking On-Chain Intelligence: A Practical Framework for GenAI-Powered Smart Contracts

Rabimba Karanjai
•
Read more
Specialists Hold, Generalists Discount: Asymmetric Equilibrium in LLM Routing Auctions featured image
LLMs

Specialists Hold, Generalists Discount: Asymmetric Equilibrium in LLM Routing Auctions

Xinyu Hou
•
Read more
Rules That Govern: A Per-Property Analysis of Multi-Agent LLM Deliberation featured image
Agents

Rules That Govern: A Per-Property Analysis of Multi-Agent LLM Deliberation

Yang Lu
•
Read more
Profiler: Per-Question Persona Conditioning of Frozen LLMs via Retrieval and Fusion of Synthesized Profiles featured image
LLMs

Profiler: Per-Question Persona Conditioning of Frozen LLMs via Retrieval and Fusion of Synthesized Profiles

Rabimba Karanjai
•
Read more
Hype or Hope? Training LLMs on Decentralized GPU Clouds featured image
Decentralized Systems

Hype or Hope? Training LLMs on Decentralized GPU Clouds

Rabimba Karanjai
•
Read more
CM-DPO: Constraint-Margin Direct Preference Optimization for LLM Planning featured image
LLMs

CM-DPO: Constraint-Margin Direct Preference Optimization for LLM Planning

Rabimba Karanjai
•
Read more
Closing the Cost Gap in Verifier-Guided RL: A Smart Contract Case Study featured image
LLMs

Closing the Cost Gap in Verifier-Guided RL: A Smart Contract Case Study

Rabimba Karanjai
•
Read more
Bridging Confidentiality and Reliability: Open-Weight Agents for Legal Reasoning featured image
AI Governance

Bridging Confidentiality and Reliability: Open-Weight Agents for Legal Reasoning

Dana Alsagheer
•
Read more
Allocation Before Ranking: Decoupled Token Compression for OmniLLMs featured image
LLMs

Allocation Before Ranking: Decoupled Token Compression for OmniLLMs

Zhenghui Guo
•
Read more
Aligning Vision Language Models via anchor featured image
Computer Vision

Aligning Vision Language Models via anchor

Yilin Yang
•
Read more