IA5 min read
Intelligence artificielle
AutoVSR : un cadre IA qui relie les schémas de circuits aux expressions symboliques avec une approche de vérification prioritaire
AutoVSR utilise la perception visuelle, une représentation intermédiaire exécutable et des solveurs symboliques augmentés d'outils pour convertir de manière fiable des schémas de circuits en expressions symboliques valides. Les expériences sur cinq types de circuits montrent qu'il surpasse à la fois les VLM généralistes et les méthodes spécialisées, avec des améliorations de précision respectives de 30 à 59 % et de 42 à 52 %.
2026-08-04