NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Towards Automatic Formal Feedback on Scientific Documents
Louise Bloch
|
Johannes Rückert
|
Christoph Friedrich
|
Paper Details:
Month: July
Year: 2025
Location: Vienna, Austria
Venue:
BEA |
WS |
Citations
URL
No Citations Yet
https://gitlab.com/ippolis_wp3/write
https://www.ieee.org/conferences/publishing/
https://github.com/acl-org/aclpubcheck
https://github.com/sylvainhalle/textidote
https://www.penelope.ai/
https://yesnoerror.com/whitepaper
https://poppler.freedesktop.org/
https://github.com/microsoft/ArxivFormula
https://github.com/kermitt2/grobid
https://poi.apache.org/
https://pybtex.org/
https://github.com/jbibtex/jbibtex
https://github.com/ge-ne/bibtool
https://ctan.org/pkg/bibutils
https://gitlab.com/ippolis_wp3/write
https://gitlab.com/ippolis_wp3/
https://languagetool.org/
https://github.com/anufrievroman/
https://www.twixify.com/post/
https://github.com/
Field Of Study