Prosa
PulseAugur coverage of Prosa — every cluster mentioning Prosa across labs, papers, and developer communities, ranked by signal.
-
LLM framework PROVE-RT aids theorem prover script generation for real-time systems
Researchers have developed PROVE-RT, a new framework designed to assist large language models (LLMs) in generating scripts for mechanized theorem provers, specifically for real-time systems. This system addresses the ch…
-
New framework audits structural vulnerability in document parsers
Researchers have developed ProSA, a new auditing framework designed to evaluate the structural robustness of document layout analysis (DLA) pipelines. This framework moves beyond traditional area-centric evaluations by …
-
New benchmark 'Prosa' evaluates LLMs on Brazilian Portuguese chats
Researchers have introduced Prosa, a new benchmark designed to evaluate Large Language Models (LLMs) using real user conversations in Brazilian Portuguese. This benchmark utilizes a rubric-based scoring system with mult…