Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add initial example of an individual's bio package #1

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

xc93
Copy link

@xc93 xc93 commented Dec 23, 2024

No description provided.

@xc93 xc93 requested a review from KcatMa December 23, 2024 07:45
bio/xiaohong_chen/bio.md Outdated Show resolved Hide resolved
bio/xiaohong_chen/bio.md Outdated Show resolved Hide resolved
Comment on lines 38 to 43
<papers>:
<paper>:
<title>:
Generating proof certificates for a language-agnostic deductive program verifier
<texsource>:
...
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I suggest using the following patterns for easier markdown editing:

## Papers

### Paper Title

(For HTML formatted content)
```html
Paper content
```

(For plain text content)
```
Paper content
```

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@KcatMa Please see the edit in the latest commit. I'd like to ask about the format of our papers, though. For example, here is an example paper, which consists of a title (sometimes using Math formulas), authors (some from Pi2/RV/UIUC and some not), an abstract (sometimes using Math formulas and symbols, too). All papers are written in LaTeX. Some papers have slides and presentation videos, but not all of them.

How do you like to organize this information?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think just providing the raw source format as possible would be fine. Maybe it could be improved with the following example when using LaTeX in the title or content:

## Papers

### [Paper Link]

```
Title:
xx $E=mc^2$

Authors:
xx
xx

Abstract:
xx

Content:
xx $E=mc^2$
```

I replaced the paper title heading with the paper link, included the title in the raw code part. Additionally, I suggest removing the indentation before like the "Title" and "Authors" values if that formatting is not required.

What do you think?

@xc93 xc93 requested a review from KcatMa January 6, 2025 08:18
@xc93
Copy link
Author

xc93 commented Jan 6, 2025

@KcatMa - On second thought, maybe it makes more sense to organize all the publications in one MD file, with links to their LaTeX source for the training of the GPT as well as for the publication webpage.

@KcatMa
Copy link
Contributor

KcatMa commented Jan 6, 2025

@KcatMa - On second thought, maybe it makes more sense to organize all the publications in one MD file, with links to their LaTeX source for the training of the GPT as well as for the publication webpage.

Yes, having all publications in one MD file will make it easier for me to write scripts to process them with the GPT bot. However, the GPT bot cannot automatically fetch knowledge from these links in the MD file, and I would need to manually collect and paste these links to the GPT bot. Therefore, it would be better to directly provide the papers' raw content in the MD file.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants