Doing More With Less: Mismatch-Based Risk-Limiting Audits

Authors: Ek, Alexander, Blom, Michelle, Stark, Philip B., Stuckey, Peter J., Teague, Vanessa J., Vukcevic, Damjan

Subject Terms: Computer Science - Computers and Society, Computer Science - Cryptography and Security, Statistics - Applications

Access URL: http://arxiv.org/abs/2503.16104

3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections

Authors: Blom, Michelle, Ek, Alexander, Stuckey, Peter J., Teague, Vanessa, Vukcevic, Damjan

Subject Terms: Computer Science - Computers and Society, Computer Science - Cryptography and Security, Computer Science - Computer Science and Game Theory

Access URL: http://arxiv.org/abs/2503.14803

Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting

Authors: Li, Boying, Hao, Vuong Chi, Stuckey, Peter J., Reid, Ian, Rezatofighi, Hamid

Subject Terms: Computer Science - Robotics

Access URL: http://arxiv.org/abs/2502.14931

NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning

Authors: Cai, Zhixi, Ke, Fucai, Jahangard, Simindokht, de la Banda, Maria Garcia, Haffari, Reza, Stuckey, Peter J., Rezatofighi, Hamid

Subject Terms: Computer Science - Computer Vision and Pattern Recognition

Access URL: http://arxiv.org/abs/2502.00372

Efficient Lower Bounding of Single Transferable Vote Election Margins

Authors: Blom, Michelle, Ek, Alexander, Stuckey, Peter J., Teague, Vanessa, Vukcevic, Damjan

Subject Terms: Computer Science - Computer Science and Game Theory, Computer Science - Computers and Society, Economics - Theoretical Economics

Access URL: http://arxiv.org/abs/2501.14847

Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding

Authors: Zang, Hongzhi, Zhang, Yulun, Jiang, He, Chen, Zhe, Harabor, Daniel, Stuckey, Peter J., Li, Jiaoyang

Subject Terms: Computer Science - Multiagent Systems

Access URL: http://arxiv.org/abs/2411.16506

Timetable Nodes for Public Transport Network

Authors: Rohovyi, Andrii, Stuckey, Peter J., Walsh, Toby

Subject Terms: Computer Science - Data Structures and Algorithms, Computer Science - Artificial Intelligence, Computer Science - Computational Geometry

Access URL: http://arxiv.org/abs/2410.15715

Formal Explanations for Neuro-Symbolic AI

Authors: Paul, Sushmita, Yu, Jinqiang, Dekker, Jip J., Ignatiev, Alexey, Stuckey, Peter J.

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2410.14219

Idiosyncratic properties of Australian STV election counting

Authors: Conway, Andrew, Blom, Michelle, Ek, Alexander, Stuckey, Peter J., Teague, Vanessa J., Vukcevic, Damjan

Subject Terms: Computer Science - Computers and Society

Access URL: http://arxiv.org/abs/2409.11627

NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions

Authors: Cai, Zhixi, Cardenas, Cristian Rojas, Leo, Kevin, Zhang, Chenyuan, Backman, Kal, Li, Hanbing, Li, Boying, Ghorbanali, Mahsa, Datta, Stavya, Qu, Lizhen, Santiago, Julian Gutierrez, Ignatiev, Alexey, Li, Yuan-Fang, Vered, Mor, Stuckey, Peter J, de la Banda, Maria Garcia, Rezatofighi, Hamid

Subject Terms: Computer Science - Robotics, Computer Science - Artificial Intelligence, Computer Science - Computer Vision and Pattern Recognition

Access URL: http://arxiv.org/abs/2409.10196

Improving the Computational Efficiency of Adaptive Audits of IRV Elections

Authors: Ek, Alexander, Blom, Michelle, Stark, Philip B., Stuckey, Peter J., Vukcevic, Damjan

Source: Electronic Voting, E-Vote-ID 2024, Lecture Notes in Computer Science 15014 (2024) 37-53

Subject Terms: Computer Science - Computers and Society, Computer Science - Cryptography and Security, Statistics - Applications

Access URL: http://arxiv.org/abs/2407.16465

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets

Authors: Fu, Shuai, Dwyer, Tim, Stuckey, Peter J., Grundy, John

Subject Terms: Computer Science - Human-Computer Interaction, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2405.12697

GeckoGraph: A Visual Language for Polymorphic Types

Authors: Fu, Shuai, Dwyer, Tim, Stuckey, Peter J.

Subject Terms: Computer Science - Programming Languages, Computer Science - Human-Computer Interaction

Access URL: http://arxiv.org/abs/2405.12699

ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration

Authors: Fu, Shuai, Dwyer, Tim, Stuckey, Peter J., Wain, Jackson, Linossier, Jesse

Source: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC) ICPC Program Comprehension (ICPC), 2023 IEEE/ACM 31st International Conference on. :146-156 May, 2023

Relation: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC)

Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections

Authors: Ek, Alexander, Stark, Philip B., Stuckey, Peter J., Vukcevic, Damjan

Source: FC 2024 Workshops, Lecture Notes in Computer Science 14746 (2025) 18-32

Subject Terms: Computer Science - Computers and Society, Computer Science - Cryptography and Security, Computer Science - Computer Science and Game Theory, Statistics - Applications

Access URL: http://arxiv.org/abs/2403.15400

RLAs for 2-Seat STV Elections: Revisited

Authors: Blom, Michelle, Stuckey, Peter J., Teague, Vanessa, Vukcevic, Damjan

Source: FC 2024 Workshops, Lecture Notes in Computer Science 14746 (2025) 3-17

Subject Terms: Computer Science - Computer Science and Game Theory

Access URL: http://arxiv.org/abs/2402.03707

Anytime Approximate Formal Feature Attribution

Authors: Yu, Jinqiang, Farr, Graham, Ignatiev, Alexey, Stuckey, Peter J.

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2312.06973

Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding

Authors: Chen, Zhe, Harabor, Daniel, Li, Jiaoyang, Stuckey, Peter J.

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Multiagent Systems, Computer Science - Robotics

Access URL: http://arxiv.org/abs/2308.11234

The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences

Authors: Rajapaksa, Sandun, Allison, Lloyd, Stuckey, Peter J., de la Banda, Maria Garcia, Konagurthu, Arun S.

Subject Terms: Quantitative Biology - Quantitative Methods, Computer Science - Machine Learning, Quantitative Biology - Biomolecules

Access URL: http://arxiv.org/abs/2308.06292

Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE

Authors: Ek, Alexander, Stark, Philip B., Stuckey, Peter J., Vukcevic, Damjan

Source: Electronic Voting, E-Vote-ID 2023, Lecture Notes in Computer Science 14230 (2023) 35-51

Subject Terms: Statistics - Applications, Computer Science - Cryptography and Security, Computer Science - Computers and Society, Statistics - Methodology

Access URL: http://arxiv.org/abs/2307.10972