I'm interested in the Pepper project's work on verifiable computation. First, on the 'Tutorials and exercises' page, what types of educational resources are available, and in what formats are they provided? Second, if I wanted to find information or source code related to specific systems like 'Pequin' or 'Hyrax', where on this website would I typically look, or what section would be most relevant?
Navigate to 'pepper-project.org'. Click on the 'Tutorials and exercises' link (ID 33). Identify the types of educational resources offered on the 'Tutorials and exercises' page (e.g., slides, videos) and their formats. Navigate back to the homepage or main navigation. Examine the main navigation links for a section that would most likely contain information or source code for specific systems like 'Pequin' or 'Hyrax'. State the types and formats of resources on the 'Tutorials and exercises' page. Identify the most relevant section on the website for finding information or source code for specific systems like 'Pequin' or 'Hyrax'.
The agent successfully navigates to the 'Tutorials and exercises' page. The agent correctly identifies that the 'Tutorials and exercises' page offers 'slides and exercises' (PDFs) and 'video' lectures. The agent explicitly states that there are no specific tutorials for 'Pequin' or 'Hyrax' on the 'Tutorials and exercises' page. The agent identifies the 'Source code' link (ID 39) or the 'Related projects' link (ID 37) as the most relevant sections for finding information or source code for specific systems like 'Pequin' or 'Hyrax'.