NTHRYS › PhD Assistance › Ai Downstream Processing

Ai Downstream Processing

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Output Validation Through Program Synthesis Verification

Proposes verification techniques using formal methods and program synthesis to validate correctness of neural outputs against specifications.