works on
combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1

From the 1 of 8 papers with an AI index.

most citedSimply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

1 citations

researchers with a paper here
collaborating institutions
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Cycle-Consistent Search: Question Reconstructability as a Proxy Reward for Search Agent Training

Sohyun An, Shuibenyang Yuan, Hayeon Lee +2

Reinforcement Learning (RL) has shown strong potential for optimizing search agents in complex information retrieval tasks. However, existing approaches predominantly rely on gold…