output
20132026
most citedPerception! Immersion! Empowerment! Superpowers as Inspiration for Visualization

89 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.AIShow all

5 papers · 1 filter

cs.AI2025

CombiGraph-Vis: A Curated Multimodal Olympiad Benchmark for Discrete Mathematical Reasoning

Hamed Mahdavi, Pouria Mahdavinia, Alireza Farhadi +7

State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…

cs.AI2025

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows

Hamed Mahdavi, Pouria Mahdavinia, Samira Malek +7

State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 o…

cs.AI2021★ 3 cited

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

Yichen David Yang, Jeevana Priya Inala, Osbert Bastani +3

A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However,…

cs.AI2017

The Advantage of Evidential Attributes in Social Networks

Salma Ben Dhaou, Kuang Zhou, Mouloud Kharoune +2

Nowadays, there are many approaches designed for the task of detecting communities in social networks. Among them, some methods only consider the topological graph structure, while…

cs.AI2016

Characterization of experts in crowdsourcing platforms

Amal Ben Rjab, Mouloud Kharoune, Zoltan Miklos +1

Crowdsourcing platforms enable to propose simple human intelligence tasks to a large number of participants who realise these tasks. The workers often receive a small amount of mon…