search

arXiv / html_feedback

Supports a student project developing a UI for feedback on arXiv articles rendered as html.
MIT License
17 stars 3 forks source link

Links not redirecting #1041

Open Nikhilodeon1 opened 4 months ago

Nikhilodeon1 commented 4 months ago

Description

I tried to click on a link in a research paper, however when I tried to click one of the redirecting links that are a part of their paper, I wasn't redirected anywhere

(Optional:) Please add any files, screenshots, or other information here.

No response

(Required) What is this issue most closely related to? Select one.

Other

Internal issue ID

a688b802-8453-466f-9554-2817d79fc199

Paper URL

https://arxiv.org/html/2309.04295v2/

Browser

Chrome/123.0.0.0

Device Type

Chromebook

html-feedback-bot[bot] commented 4 months ago

Location in document: Sx2.SSx2.p1.1

Selected HTML: The task of formalization is to turn informal descriptions written in natural languages (human readable code) into formally correct and automatically checkable format (10.1007/978-3-030-53518-6_1). However, there is a vast logical gap between formal language and natural language, since every simple argument should be made explicit in formal language. Therefore, formalization is a tedious task, and performing formalization manually on a large scale is very expensive and time-consuming. Auto-formalization with LLMs proposed in (wu2022autoformalization), is an attempt to perform formalization utilizing the few-shot learning ability of the large language models by prompting them with several examples of informal and formal statement pairs. In their paper, they dealt with the auto-formalization of theorem statements and claimed that LLMs are able to correctly translate a significant portion (

github-actions[bot] commented 4 months ago

Hello @Nikhilodeon1, thanks for the issue report! We are reviewing your report and will address it as soon as possible.