Skip to content

Commit 14f29d6

Browse files
RangHoRangHo
committed
feat: add PL4XGL paper review
1 parent a1d2e1f commit 14f29d6

File tree

7 files changed

+770
-0
lines changed

7 files changed

+770
-0
lines changed

‎paper-pl4xgl/assets/classification-accuracy.png‎

139 KB
Loading

‎paper-pl4xgl/assets/existing-approach.png‎

47.1 KB
Loading

‎paper-pl4xgl/assets/logo-fcai.png‎

41.7 KB
Loading

‎paper-pl4xgl/assets/logo-yonsei.png‎

17.3 KB
Loading

‎paper-pl4xgl/assets/our-approach.png‎

51.9 KB
Loading

‎paper-pl4xgl/beamerthemefcai.sty‎

Lines changed: 238 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,238 @@
1+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2+
%% Beamer theme for Yonsei University Formal Computing and AI Lab.
3+
%%
4+
%% Authors:
5+
%% - Kijeong Lim <kijeonglim@yonsei.ac.kr>
6+
%% - Juhun Lee <rangho@yonsei.ac.kr>
7+
%%
8+
%% Versions:
9+
%% - 2025-12-03 v0.1.0: Initial (original) version.
10+
%% - HEAD
11+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
12+
13+
\mode<presentation>
14+
15+
%%────────────────────────────────────────────────
16+
%% Beamer Theme & Navigation Overrides
17+
% \PassOptionsToClass{aspectratio=169}{beamer}
18+
\usetheme{CambridgeUS}
19+
\useoutertheme{infolines} % Show section & subsection bars
20+
\beamertemplatenavigationsymbolsempty
21+
\setbeamertemplate{caption}[numbered]
22+
\setbeamertemplate{sections/subsections in toc}[square]
23+
24+
%%────────────────────────────────────────────────
25+
%% Basic Packages and Fonts
26+
\usepackage[utf8]{inputenc}
27+
\usepackage{kotex}
28+
\usepackage{lmodern}
29+
\usepackage{graphicx}
30+
\usepackage{caption}
31+
\usepackage{url}
32+
\usepackage{setspace}
33+
\usepackage{indentfirst}
34+
\usepackage{multicol}
35+
\usepackage{array}
36+
\usepackage{booktabs}
37+
\usepackage{textcomp}
38+
\usepackage{hanging}
39+
40+
%%────────────────────────────────────────────────
41+
%% Miscellaneous Packages
42+
\usepackage{xparse}
43+
\usepackage{tcolorbox}
44+
\usepackage{pgfpages}
45+
\usepackage{arydshln}
46+
\usepackage[style=numeric]{biblatex}
47+
48+
%%────────────────────────────────────────────────
49+
%% Theme palettes & frametitle
50+
\setbeamercolor{structure}{fg=yonseiblue}
51+
\setbeamercolor{palette primary}{bg=yonseiblue,fg=white}
52+
\setbeamercolor{palette secondary}{bg=yonseiblue,fg=white}
53+
\setbeamercolor{palette tertiary}{bg=yonseiblue,fg=white}
54+
\setbeamercolor{frametitle}{bg=yonseisilv,fg=white}
55+
\setbeamercolor{progress bar in head/foot}{fg=yonseiblue,bg=yonseisilv}
56+
\setbeamercolor{title}{fg=yonseiblue}
57+
\setbeamercolor{subtitle}{fg=yonseiblue}
58+
59+
%%────────────────────────────────────────────────
60+
%% Yonsei University Official Colors
61+
\usepackage{xcolor}
62+
\definecolor{yonseiblue}{HTML}{003876} % Primary Blue
63+
\definecolor{yonseisilv}{HTML}{939598} % Secondary Silver
64+
\definecolor{yonseigold}{HTML}{B38C45} % Accent Gold
65+
\definecolor{yonseilight}{HTML}{4169E1}
66+
\definecolor{mygreen}{rgb}{0,0.6,0}
67+
\definecolor{myred}{rgb}{0.545,0,0}
68+
\definecolor{myblue}{rgb}{0,0,0.545}
69+
\definecolor{mygray}{rgb}{0.4,0.4,0.4}
70+
\definecolor{mydarkblue}{rgb}{0.0,0.0,0.6}
71+
72+
%%────────────────────────────────────────────────
73+
%% Lists & Enumerations (enumitem overrides)
74+
\usepackage{enumitem}
75+
\setlist[enumerate,1]{label=\arabic*.,ref=\arabic*}
76+
\setlist[enumerate,2]{label=(\roman*),ref=\roman*}
77+
\setlist[enumerate,3]{label=\alph*),ref=\alph*}
78+
\setlist[itemize,1]{label=\textbullet}
79+
\setlist[itemize,2]{label=\textbullet}
80+
\setlist[itemize,3]{label=\textbullet}
81+
\setbeamertemplate{itemize item}[circle]
82+
\setbeamertemplate{itemize subitem}[circle]
83+
\setbeamertemplate{itemize subsubitem}[circle]
84+
85+
%%────────────────────────────────────────────────
86+
%% Math Packages
87+
\usepackage{amsmath,amsthm,amssymb,amsfonts}
88+
\usepackage{mathtools,nccmath}
89+
\usepackage{stmaryrd}
90+
\usepackage{proof}
91+
\usepackage{mathpartir}
92+
\usepackage{mismath}
93+
\DeclarePairedDelimiterX\set[1]{\lbrace}{\rbrace}{\def\mid{\;\delimsize\vert\;}#1} % usage: \set*{ n \in \mathbb{N} \mid x < 3 }
94+
95+
%%────────────────────────────────────────────────
96+
%% Algorithms
97+
\usepackage{algorithm}
98+
\usepackage[noend]{algpseudocode}
99+
100+
%%────────────────────────────────────────────────
101+
%% TikZ
102+
\usepackage{tikz}
103+
\usetikzlibrary{cd}
104+
\usepackage{tikz-cd}
105+
106+
%%────────────────────────────────────────────────
107+
%% Footnote
108+
\setbeamertemplate{footnote}{
109+
\hspace{2.5em}\makebox[1em][l]{\insertfootnotemark}{\scriptsize\insertfootnotetext}\par
110+
}
111+
112+
%%────────────────────────────────────────────────
113+
%% Code Listings
114+
\usepackage{listings}
115+
\lstdefinestyle{cxx}{
116+
language=C++,
117+
backgroundcolor=\color{gray!10},
118+
commentstyle=\color{mygreen},
119+
keywordstyle=\color{blue},
120+
stringstyle=\color{red},
121+
numberstyle=\tiny\color{mygray},
122+
identifierstyle=\color{black},
123+
basicstyle=\ttfamily\footnotesize,
124+
keepspaces=true,
125+
showstringspaces=false,
126+
numbers=left,
127+
numbersep=5pt,
128+
tabsize=4,
129+
breaklines=true,
130+
captionpos=b,
131+
frame=single,
132+
rulecolor=\color{black}
133+
}
134+
\lstset{style=cxx}
135+
136+
%%────────────────────────────────────────────────
137+
%% Hyperref & cleveref setup
138+
\makeatletter
139+
\Hy@implicittrue
140+
\makeatother
141+
\usepackage{hyperref}
142+
\usepackage[capitalize,nameinlink]{cleveref}
143+
144+
\crefdefaultlabelformat{#2\textbf{#1}#3}
145+
\crefname{table}{\textbf{Table}}{\textbf{Tables}}
146+
\Crefname{table}{\textbf{Table}}{\textbf{Tables}}
147+
\crefname{section}{\textbf{Section}}{\textbf{Sections}}
148+
\Crefname{section}{\textbf{Section}}{\textbf{Sections}}
149+
\crefname{theorem}{\textbf{Theorem}}{\textbf{Theorems}}
150+
\Crefname{theorem}{\textbf{Theorem}}{\textbf{Theorems}}
151+
\crefname{definition}{\textbf{Definition}}{\textbf{Definitions}}
152+
\Crefname{definition}{\textbf{Definition}}{\textbf{Definitions}}
153+
\crefname{fact}{\textbf{Fact}}{\textbf{Facts}}
154+
\Crefname{fact}{\textbf{Fact}}{\textbf{Facts}}
155+
\crefname{lemma}{\textbf{Lemma}}{\textbf{Lemmas}}
156+
\Crefname{lemma}{\textbf{Lemma}}{\textbf{Lemmas}}
157+
\crefname{corollary}{\textbf{Corollary}}{\textbf{Corollaries}}
158+
\Crefname{corollary}{\textbf{Corollary}}{\textbf{Corollaries}}
159+
\crefname{axiom}{\textbf{Axiom}}{\textbf{Axioms}}
160+
\Crefname{axiom}{\textbf{Axiom}}{\textbf{Axioms}}
161+
\crefname{notation}{\textbf{Notation}}{\textbf{Notations}}
162+
\Crefname{notation}{\textbf{Notation}}{\textbf{Notations}}
163+
\crefname{remark}{\textbf{Remark}}{\textbf{Remarks}}
164+
\Crefname{remark}{\textbf{Remark}}{\textbf{Remarks}}
165+
166+
%%────────────────────────────────────────────────
167+
%% Bibliography
168+
\usepackage[style=numeric]{biblatex}
169+
170+
%%────────────────────────────────────────────────
171+
%% Custom Column Type
172+
\newcolumntype{M}[1]{>{\centering\arraybackslash}m{#1}}
173+
\renewcommand{\arraystretch}{1.3}
174+
175+
%%────────────────────────────────────────────────
176+
%% Symbol Font Fix
177+
\SetSymbolFont{stmry}{bold}{U}{stmry}{m}{n}
178+
179+
% Navigation bar colors
180+
\setbeamercolor{section in head/foot}{bg=yonseiblue, fg=white}
181+
\setbeamerfont{section in head/foot}{size=\scriptsize}
182+
\setbeamercolor{subsection in head/foot}{bg=white, fg=yonseiblue}
183+
\setbeamerfont{subsection in head/foot}{size=\scriptsize}
184+
185+
%%────────────────────────────────────────────────
186+
%% Custom Frame Title
187+
\setbeamertemplate{frametitle}{
188+
\vspace{-0.7ex}
189+
\begin{beamercolorbox}[wd=\paperwidth,ht=2.3ex,dp=1ex,leftskip=0.5em,rightskip=0.5em]{frametitle}
190+
\usebeamerfont{frametitle}\insertframetitle
191+
\end{beamercolorbox}
192+
}
193+
194+
%%────────────────────────────────────────────────
195+
%% Make below blank
196+
\usepackage{etoolbox}
197+
\makeatletter
198+
\pretocmd{\beamer@@frametitle}{\vspace{-0.7em}}{}{}
199+
\makeatother
200+
201+
%%────────────────────────────────────────────────
202+
%% Custom Footline (two logos at bottom corners)
203+
\setbeamertemplate{footline}{%
204+
\leavevmode%
205+
\begin{beamercolorbox}[wd=\paperwidth,ht=4ex,dp=1.5ex,leftskip=1em,rightskip=1em]{author in head/foot}%
206+
\includegraphics[height=0.8cm]{assets/logo-yonsei.png}%
207+
\hfill
208+
\includegraphics[height=0.8cm]{assets/logo-fcai.png}%
209+
\newline
210+
\footnotesize
211+
\usebeamerfont{author in head/foot}\insertshortauthor%
212+
\hfill
213+
\usebeamerfont{page number in head/foot}\textbf{\insertframenumber{}} \textbf{/} \textbf{\inserttotalframenumber}
214+
\end{beamercolorbox}%
215+
}
216+
217+
%%────────────────────────────────────────────────
218+
%% Custom Commands & Environments
219+
\renewcommand*{\bibfont}{\small}
220+
\newcommand{\makereferences}{
221+
\nocite{*}
222+
\begingroup
223+
\setlength\bibitemsep{0pt}
224+
\printbibliography
225+
\endgroup
226+
}
227+
228+
\newcommand{\inlinedef}[1]{\emph{\textbf{#1}}}
229+
\newcommand{\powerset}{\mathcal{P}}
230+
\newcommand{\concat}{\ensuremath{+\!\!\!\!+\,}}
231+
\newcommand{\listunit}[1]{[#1]}
232+
\newcommand{\bind}{\ensuremath{>\!\!>\!=}}
233+
234+
\newenvironment{mkparagraph}[1][]
235+
{ \noindent \textbf{{#1}.} }
236+
{ \hfill $ \dashv $ }
237+
238+
\mode<all>

0 commit comments

Comments
 (0)