◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

João Marcos

3 papers hereh-index 00 citations4 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author1
  • last author1

Across the 3 of 3 papers where every author was matched, so the position is known.

fields
  • cs.LO2
  • cs.AI1
same name
  • João Marcos — 11 papers, h 10

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20202026
most citedProceedings 10th International Workshop on Theorem Proving Components for Educational Software

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A method for the automated generation of proof exercises with comparable levels of proving complexity

João Mendes, João Marcos, Patrick Terrematte

The automated generation of exercises may substantially reduce the time educators devote to manual exercise design. A major obstacle to the integration of such automation into teac…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.