ENTITY Sergio Sanchez-Hurtado

Sergio Sanchez-Hurtado

PulseAugur coverage of Sergio Sanchez-Hurtado — every cluster mentioning Sergio Sanchez-Hurtado across labs, papers, and developer communities, ranked by signal.

Show in brief

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

TOPICS

paper 1
product 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_336567 · Oct 30 · 17:06

Language Models Aid Formal Verification of Robotic Controllers

Researchers have explored the use of language models in designing formally verifiable controllers for robotic systems. The 'Proof-Carrying Evolution' (PCE) method involves a search process that proposes controllers alon…

Language Models Aid Formal Verification of Robotic Controllers