Výsledky vyhledávání - "AGARWAL, CHAITANYA"

Report

Linguistics Theory Meets LLM: Code-Switched Text Generation via Equivalence Constrained Large Language Models

Autor: Kuwanto, Garry, Agarwal, Chaitanya, Winata, Genta Indra, Wijaya, Derry Tanti

Code-switching, the phenomenon of alternating between two or more languages in a single conversation, presents unique challenges for Natural Language Processing (NLP). Most existing research focuses on either syntactic constraints or neural generatio

Externí odkaz: http://arxiv.org/abs/2410.22660

Zobrazit plný text záznamu

Report

Inferring Accumulative Effects of Higher Order Programs

Autor: Nicola, Mihai, Agarwal, Chaitanya, Koskinen, Eric, Wies, Thomas

Many temporal safety properties of higher-order programs go beyond simple event sequencing and require an automaton register (or "accumulator") to express, such as input-dependency, event summation, resource usage, ensuring equal event magnitude, com

Externí odkaz: http://arxiv.org/abs/2408.02791

Zobrazit plný text záznamu

Report

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

Autor: Agarwal, Chaitanya, Guha, Shibashis, Křetínský, Jan, Pazhamalai, M.

Markov decision processes (MDP) and continuous-time MDP (CTMDP) are the fundamental models for non-deterministic systems with probabilistic uncertainty. Mean payoff (a.k.a. long-run average reward) is one of the most classic objectives considered in

Externí odkaz: http://arxiv.org/abs/2206.01465

Zobrazit plný text záznamu