output
20022025
most citedHumanity's Last Exam

23 citations

9 papers

eess.SY2025

Equivariant Filter for Relative Attitude and Target's Angular Velocity Estimation

Gil Serrano, Bruno J. Guerreiro, Pedro Lourenço +1

Accurate estimation of the relative attitude and angular velocity between two rigid bodies is fundamental in aerospace applications such as spacecraft rendezvous and docking. In th…

cs.LG2025★ 23 cited

Humanity's Last Exam

Long Phan, Alice Gatti, Ziwen Han +1144

Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achi…

quant-ph2024

Protocols for Quantum Weak Coin Flipping

Atul Singh Arora, Jérémie Roland, Chrysoula Vlachou +1

Weak coin flipping is an important cryptographic primitive$\unicode{x2013}$it is the strongest known secure two-party computation primitive that classically becomes secure only und…

cs.LO2023★ 2 cited

Adding an Implication to Logics of Perfect Paradefinite Algebras

Vitor Greati, Sérgio Marcelino, João Marcos +1

Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is…

math.AP2021★ 10 cited

On a Class of Nonlocal Obstacle Type Problems Related to the Distributional Riesz Fractional Derivative

Catharine W. K. Lo, José Francisco Rodrigues

In this work, we consider the nonlocal obstacle problem with a given obstacle in a bounded Lipschitz domain in , such that $\mathbb{K}_ψ^s=\{v\in H^s_0(Ω):v…

cs.MA2018★ 2 cited

Um Sistema Multiagente no Combate ao Braqueamento de Capitais

Claudio Alexandre, João Balsa

Money laundering is a crime that makes it possible to finance other crimes, for this reason, it is important for criminal organizations and their combat is prioritized by nations a…