Bib proactive verification: Xiong 2nd author fix + expand 3 'et al.' entries

While user runs Semantic Scholar verification, I WebSearch-verified the 4
citations I flagged as 'never independently checked' and found one real bug
plus opportunity to expand others:

- Xiong 2020: second author was 'Yunchang Yu' in my bibitem, but the actual
  author is 'Yunchang YANG'. Fixed. Also expanded to the full 10-author list.
- Paleka 2026: expanded 'Daniel Paleka et al.' -> 'Daniel Paleka, Shashwat
  Goel, Jonas Geiping, and Florian Tramèr'. Title/venue confirmed correct.
- O'Bray 2022: expanded 'Leslie O'Bray et al.' -> 'Leslie O'Bray, Max Horn,
  Bastian Rieck, and Karsten M. Borgwardt'. Title/venue confirmed correct.
- Jordan 2020: expanded 'Scott M. Jordan et al.' -> 'Scott Jordan, Yash
  Chandak, Daniel Cohen, Mengxue Zhang, and Philip Thomas'. Also dropped
  incorrect middle initial 'M.' Title/venue confirmed correct.

All 4 citations now have full verified author lists. The Yang/Yu typo was
a real factual error that Semantic Scholar would have caught.

Main content still 9 pages. Task list unchanged.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 files changed, 8 insertions, 7 deletions

diff --git a/paper/main.pdf b/paper/main.pdf
index c336cb8..5605150 100644
--- a/paper/main.pdf
+++ b/paper/main.pdf
diff --git a/paper/main.tex b/paper/main.tex
index 279ef82..be5aa38 100644
--- a/paper/main.tex
+++ b/paper/main.tex
@@ -182,19 +182,19 @@ Our claim is about what existing evidence licenses, not about impossibility: thi
 
 \begin{thebibliography}{10}
 
-\bibitem[Paleka et~al.(2026)]{paleka2026pitfalls}
-Daniel Paleka et~al.
+\bibitem[Paleka et~al.(2026)Paleka, Goel, Geiping, and Tramèr]{paleka2026pitfalls}
+Daniel Paleka, Shashwat Goel, Jonas Geiping, and Florian Tramèr.
 \newblock Pitfalls in evaluating language model forecasters.
 \newblock In {\em International Conference on Learning Representations}, 2026.
 
-\bibitem[O'Bray et~al.(2022)]{obray2022evaluation}
-Leslie O'Bray et~al.
+\bibitem[O'Bray et~al.(2022)O'Bray, Horn, Rieck, and Borgwardt]{obray2022evaluation}
+Leslie O'Bray, Max Horn, Bastian Rieck, and Karsten~M. Borgwardt.
 \newblock Evaluation metrics for graph generative models: problems, pitfalls,
   and practical solutions.
 \newblock In {\em International Conference on Learning Representations}, 2022.
 
-\bibitem[Jordan et~al.(2020)]{jordan2020evaluating}
-Scott~M. Jordan et~al.
+\bibitem[Jordan et~al.(2020)Jordan, Chandak, Cohen, Zhang, and Thomas]{jordan2020evaluating}
+Scott Jordan, Yash Chandak, Daniel Cohen, Mengxue Zhang, and Philip Thomas.
 \newblock Evaluating the performance of reinforcement learning algorithms.
 \newblock In {\em International Conference on Machine Learning}, 2020.
 
@@ -253,7 +253,8 @@ Brian Crafton, Abhinav Parihar, Evan Gebhardt, and Arijit Raychowdhury.
 \newblock {\em Frontiers in Neuroscience}, 13:525, 2019.
 
 \bibitem[Xiong et~al.(2020)]{xiong2020layer}
-Ruibin Xiong, Yunchang Yu, et~al.
+Ruibin Xiong, Yunchang Yang, Di He, Kai Zheng, Shuxin Zheng, Chen Xing,
+  Huishuai Zhang, Yanyan Lan, Liwei Wang, and Tie-Yan Liu.
 \newblock On layer normalization in the transformer architecture.
 \newblock In {\em International Conference on Machine Learning}, 2020.