activity
20242026
collaborators

5 papers

cs.AI2026

Incident-Arena: Getting agents to the last nine of reliability

Andre Fu, Malik Drabla, Leon Liu +5

AI coding agents are ubiquitous in engineering workflows amongst industry and academia. Yet, despite their use in app coding, relatively less attention has been paid to their abili…

cs.AI2025

FractalBench: Diagnosing Visual-Mathematical Reasoning Through Recursive Program Synthesis

Jan Ondras, Marek Šuppa

Mathematical reasoning requires abstracting symbolic rules from visual patterns -- inferring the infinite from the finite. We investigate whether multimodal AI systems possess this…

cs.SE2025

BigCodeArena: Unveiling More Reliable Human Preferences in Code Generation via Execution

Terry Yue Zhuo, Xiaolong Jin, Hange Liu +37

Crowdsourced model evaluation platforms, such as Chatbot Arena, enable real-time evaluation from human perspectives to assess the quality of model responses. In the coding domain,…

astro-ph.IM2025

LCDC: Bridging Science and Machine Learning for Light Curve Analysis

Daniel Kyselica, Tomáš Hrobár, Jiří Šilha +2

The characterization and analysis of light curves are vital for understanding the physical and rotational properties of artificial space objects such as satellites, rocket stages,…

cs.CV2024

RoBo6: Standardized MMT Light Curve Dataset for Rocket Body Classification

Daniel Kyselica, Marek Šuppa, Jiří Šilha +1

Space debris presents a critical challenge for the sustainability of future space missions, emphasizing the need for robust and standardized identification methods. However, a comp…