Artificial Intelligence

Authors and titles for cs.AI in Sep 2021

[1]  arXiv:2109.00110 [pdf, other]

Title: MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Authors: Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Comments: Published as a conference paper at ICLR 2022

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

[2]  arXiv:2109.00127 [pdf, other]

Title: Cognitive science as a source of forward and inverse models of human decisions for robotics and control

Authors: Mark K. Ho, Thomas L. Griffiths

Comments: Invited submission for Annual Review of Control, Robotics, and Autonomous Systems

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Systems and Control (eess.SY)

[3]  arXiv:2109.00177 [pdf, other]

Title: Problem Learning: Towards the Free Will of Machines

Authors: Yongfeng Zhang

Comments: 17 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[4]  arXiv:2109.00318 [pdf, ps, other]

Title: Intrinsic Argument Strength in Structured Argumentation: a Principled Approach

Authors: Jeroen Paul Spaans

Subjects: Artificial Intelligence (cs.AI)

[5]  arXiv:2109.00388 [pdf, other]

Title: Boolean proportions

Authors: Christian Antić

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[6]  arXiv:2109.00414 [pdf, ps, other]

Title: Balancing Performance and Human Autonomy with Implicit Guidance Agent

Authors: Ryo Nakahashi, Seiji Yamada

Subjects: Artificial Intelligence (cs.AI)

[7]  arXiv:2109.00449 [pdf, other]

Title: Planning from video game descriptions

Authors: Ignacio Vellido, Carlos Núñez-Molina, Vladislav Nikolov, Juan Fdez-Olivares

Comments: To be submitted to the Knowledge Engineering Review (KER) journal

Subjects: Artificial Intelligence (cs.AI)

[8]  arXiv:2109.00484 [pdf, ps, other]

Title: Impossibility Results in AI: A Survey

Authors: Mario Brcic, Roman V. Yampolskiy

Comments: 23 pages, 2 figures, 103 references

Journal-ref: ACM Computing Surveys, 2023

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

[9]  arXiv:2109.00838 [pdf, ps, other]

Title: An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts

Authors: Rui Zhao

Comments: Accepted to IJCAI 2021 DC

Subjects: Artificial Intelligence (cs.AI)

[10]  arXiv:2109.00857 [pdf, other]

Title: Optimal Path Planning of Autonomous Marine Vehicles in Stochastic Dynamic Ocean Flows using a GPU-Accelerated Algorithm

Authors: Rohit Chowdhury, Deepak Subramani

Comments: 15 pages, 8 figures, journal

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Robotics (cs.RO)