Zobrazeno 1 - 10
of 4 475
pro vyhledávání: '"A. Misu"'
The driver warning system that alerts the human driver about potential risks during driving is a key feature of an advanced driver assistance system. Existing driver warning technologies, mainly the forward collision warning and unsafe lane change wa
Externí odkaz:
http://arxiv.org/abs/2411.06306
Autor:
Chen, Tianyu, Lu, Shuai, Lu, Shan, Gong, Yeyun, Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yu, Hao, Duan, Nan, Cheng, Peng, Yang, Fan, Lahiri, Shuvendu K, Xie, Tao, Zhou, Lidong
Ensuring correctness is crucial for code generation. Formal verification offers a definitive assurance of correctness, but demands substantial human effort in proof construction and hence raises a pressing need for automation. The primary obstacle li
Externí odkaz:
http://arxiv.org/abs/2410.15756
Autor:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we present AutoVerus. AutoVerus uses LLM to automati
Externí odkaz:
http://arxiv.org/abs/2409.13082
Autor:
Chi, Vivienne Bihe, Ulwelling, Elise, Salubre, Kevin, Mehrotra, Shashank, Misu, Teruhisa, Akash, Kumar
Service robots are increasingly deployed in public spaces, performing functional tasks such as making deliveries. To better integrate them into our social environment and enhance their adoption, we consider integrating social identities within delive
Externí odkaz:
http://arxiv.org/abs/2409.07815
Autor:
Scott-Sharoni, Sidney T., Mehrotra, Shashank, Salubre, Kevin, Song, Miao, Misu, Teruhisa, Akash, Kumar
Micromobility devices, such as e-scooters and delivery robots, hold promise for eco-friendly and cost-effective alternatives for future urban transportation. However, their lack of societal acceptance remains a challenge. Therefore, we must consider
Externí odkaz:
http://arxiv.org/abs/2409.03153
Autor:
Loughridge, Chloe, Sun, Qinyi, Ahrenbach, Seth, Cassano, Federico, Sun, Chuyue, Sheng, Ying, Mudide, Anish, Misu, Md Rakib Hossain, Amin, Nada, Tegmark, Max
We introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. We test the ability of LLMs such as GPT-4 and Claude 3 to auto-generate enough hints for the Dafny forma
Externí odkaz:
http://arxiv.org/abs/2406.08467
Autor:
Park, Jong Hoon, Chen, Lawrence, Higgins, Ian, Zheng, Zhaobo, Mehrotra, Shashank, Salubre, Kevin, Mousaei, Mohammadreza, Willits, Steven, Levedahl, Blain, Buker, Timothy, Xing, Eliot, Misu, Teruhisa, Scherer, Sebastian, Oh, Jean
Vertical take-off and landing (VTOL) aircraft do not require a prolonged runway, thus allowing them to land almost anywhere. In recent years, their flexibility has made them popular in development, research, and operation. When compared to traditiona
Externí odkaz:
http://arxiv.org/abs/2406.06448
We propose leveraging prosocial observations to cultivate new social norms to encourage prosocial behaviors toward delivery robots. With an online experiment, we quantitatively assess updates in norm beliefs regarding human-robot prosocial behaviors
Externí odkaz:
http://arxiv.org/abs/2403.19027
Autor:
Misu, Kuniyasu
We consider the asymptotic behavior of solutions to an obstacle problem for the mean curvature flow equation by using a game-theoretic approximation, to which we extend that of Kohn and Serfaty (2006). Kohn and Serfaty (2006) give a deterministic two
Externí odkaz:
http://arxiv.org/abs/2403.00358
Large language models show great promise in many domains, including programming. A promise is easy to make but hard to keep, and language models often fail to keep their promises, generating erroneous code. A promising avenue to keep models honest is
Externí odkaz:
http://arxiv.org/abs/2402.00247